28th International Colloquium on the Pupil

Realizability of high-level message sequence charts: closing the gaps

We study the notion of safe realizability for high-level message sequence charts (HMSCs) (Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP 2001), Crete (Greece), Lecture Notes in Computer Science, Vol. 2076, Springer, Berlin, 2001, pp. 797–808). We show that safe realizability is EXPSPACE-complete for bounded HMSCs but undecidable for the class of a...

بررسی اثر نهاده‌ها بر ستانده نظام آموزشی دوره راهنمایی تحصیلی استان‌های کشور

This research aims at studying the impact of inputs on the output of middle school education system in Iran’s provinces. Hence, first the output of lower secondary level education system in provinces of Iran is calculated on the basis of indicators approved by International Institute for Educational Planning & UNESCO Institute for Statistics. The results showed that provinces Such as Sistan & B...

Pakistan International Biennial Conference on ‘Ramadan and Health’ (9th – 11th October 2015; 26th – 28th Dhul Hijjah 1436 H)

Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue

We are proud to introduce this special issue of LIPIcs — Leibniz International Proceedings in Informatics, dedicated to the technical communications accepted for the 28th International Conference on Logic Programming (ICLP). 1998 ACM Subject Classification D.1.6 Logic Programming, I.2.3 Deduction and Theorem proving/Logic programming

Effects of latanoprost and pilocarpine combination on the intraocular pressure and pupil size of normal rabbits

The aim of this study was to determine the combination effect of latanoprost and pilocarpine on theintraocular pressure and pupil size in normal rabbits. In this study, 18 rabbits were randomized to threegroups of 6 animals each. The right eyes of rabbits in group 1 were treated topically with latanoprost, ingroup 2 with pilocarpine and in group 3 with latanoprost and pilocarpine. The left eyes...